home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Benchmarks / output / query.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  1.2 KB  |  45 lines
  1. %    query
  2. %    from Warren's thesis
  3.  
  4. main :-
  5.     query(X),
  6.     write(X), nl,
  7.     fail.
  8.  
  9. query([C1,D1,C2,D2]) :- 
  10.     density(C1,D1), 
  11.     density(C2,D2),
  12.     D1 > D2,
  13.     T1 is 20*D1,
  14.     T2 is 21*D2,
  15.     T1 < T2.
  16.  
  17. density(C,D) :- pop(C,P), area(C,A), D is (P*100)/A.
  18.  
  19. pop(china,    8250).    area(china,    3380).
  20. pop(india,    5863).    area(india,    1139).
  21. pop(ussr,    2521).    area(ussr,    8708).
  22. pop(usa,    2119).    area(usa,    3609).
  23. pop(indonesia,    1276).    area(indonesia,    570).
  24. pop(japan,    1097).    area(japan,    148).
  25. pop(brazil,    1042).    area(brazil,    3288).
  26. pop(bangladesh,    750).    area(bangladesh,55).
  27. pop(pakistan,    682).    area(pakistan,    311).
  28. pop(w_germany,    620).    area(w_germany,    96).
  29. pop(nigeria,    613).    area(nigeria,    373).
  30. pop(mexico,    581).    area(mexico,    764).
  31. pop(uk,        559).    area(uk,    86).
  32. pop(italy,    554).    area(italy,    116).
  33. pop(france,    525).    area(france,    213).
  34. pop(phillipines,415).    area(phillipines,90).
  35. pop(thailand,    410).    area(thailand,    200).
  36. pop(turkey,    383).    area(turkey,    296).
  37. pop(egypt,    364).    area(egypt,    386).
  38. pop(spain,    352).    area(spain,    190).
  39. pop(poland,    337).    area(poland,    121).
  40. pop(s_korea,    335).    area(s_korea,    37).
  41. pop(iran,    320).    area(iran,    628).
  42. pop(ethiopia,    272).    area(ethiopia,    350).
  43. pop(argentina,    251).    area(argentina,    1080).
  44.  
  45.